Tootfinder

#TeacherAppreciationWeek - Get A #FREE #TCEA Membership:

as someone who is mostly doing stuff with binary buffers, i am suffering a lot from the change in py3 from py2 how they handle strings. i like f-strings, i work with binary stuff, not human readable stuff. this stackoverflow answer makes me sad https://stackoverflow…

Is there a formatted byte string literal in Python 3.6+?
I'm looking for a formatted byte string literal. Specifically, something equivalent to name = "Hello" bytes(f"Some format string {name}") Possibly something like fb"Some format string {name}". D...

“Karpathy suggests AI chatbots as interstellar messengers to alien civilizations”
https://arstechnica.com/information-technology/2024/05/ai-in-space-karpathy-suggests-ai-chatbots-as-…

AI in space: Karpathy suggests AI chatbots as interstellar messengers to alien civilizations
Andrej Karpathy muses about sending a LLM binary that could "wake up" and answer questions.

Berichte: Wohngebäude in St. Petersburg geräumt
In St. Petersburg sind der Nachrichtenagentur Reuters zufolge zwei Gebäude beschädigt und Bewohner evakuiert worden. Anwohner schilderten eine laute Explosion, Fenster seien zu Bruch gegangen. Der Governeur der Großstadt, Alexander Beglow, berichtete demnach von einem Zwischenfall im Bezirk Krasnogwardeiski, ohne Details zu nennen. Es habe keine Verletzten gegeben.
"Zuerst hörte…
📑

Ukraine-Liveblog: ++ Kiew meldet mehrere Tote nach Angriff auf Odessa ++
Nach einem russischen Angriff auf Odessa gab es laut ukrainischen Angaben mehrere Tote und Verletzte. Präsident Selenskyj dankt den Niederlanden für neue Rüstungshilfen. Alle Entwicklungen im Liveblog.

#CDU und #Springer haben mit ihrer Lügenhetze das Klima für solche Angriffe erzeugt. #Merz, #Döpfner,

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
Sarah Winter, Martin Zimmermann
https://arxiv.org/abs/2404.18280

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations for HyperLTL model-checking, thereby considerably increasing its usefulness. Both paradigms are based on the maxim ``counterexamples/explanations are Skolem functions for the existentially quantified trace variables''. Our first paradigm is complete (every…

This https://arxiv.org/abs/2310.14122 has been replaced.
link: https://scholar.google.com/scholar?q=a

Beyond Yes and No: Improving Zero-Shot LLM Rankers via Scoring Fine-Grained Relevance Labels
Zero-shot text rankers powered by recent LLMs achieve remarkable ranking performance by simply prompting. Existing prompts for pointwise LLM rankers mostly ask the model to choose from binary relevance labels like "Yes" and "No". However, the lack of intermediate relevance label options may cause the LLM to provide noisy or biased answers for documents that are partially relevant to the query. We propose to incorporate fine-grained relevance labels into the prompt for LLM rankers, enabling them…

Zwei Jahre Angriffskrieg in der Ukraine: Aufruf zu Gedenken in Lettland
Lettlands politische Führung hat für den zweiten Jahrestag des russischen Angriffs auf die Ukraine zu einem landesweiten Gedenken aufgerufen. In Solidarität mit dem ukrainischen Volk sollen alle Bewohner des baltischen Landes am Samstag einen Moment innehalten und der Opfer des Krieges gedenken, hieß es in einem gemeinsamen Aufruf unter anderem von Staatsp…
📑

Ukraine-Liveblog: ++ Selenskyj nennt Lage an der Front "extrem schwierig" ++
Der ukrainische Präsident Selenskyj hat eingeräumt, dass sich seine Armee in einer "extrem schwierigen" Lage befindet. Die Ampel-Fraktionen wollen die Bundesregierung auffordern, die Waffenexporte auszuweiten. Die Entwicklungen im Liveblog.

truth or dare? will we find out the answer to this question? #MondayActionMovie

This https://arxiv.org/abs/1911.11246 has been replaced.
link: https://scholar.google.com/scholar?q=a

The mean and variance of the reciprocal merit factor of four classes of binary sequences
The merit factor of a $\{-1, 1\}$ binary sequence measures the collective smallness of its non-trivial aperiodic autocorrelations. Binary sequences with large merit factor are important in digital communications because they allow the efficient separation of signals from noise. It is a longstanding open question whether the maximum merit factor is asymptotically unbounded and, if so, what is its limiting value. Attempts to answer this question over almost sixty years have identified certain cla…